take as an axiom that

take as an axiom that
1) Математика: принимать в качестве аксиомы, принять как аксиому, что
2) Макаров: (...) принимать в качестве аксиомы

Универсальный англо-русский словарь. . 2011.

Смотреть что такое "take as an axiom that" в других словарях:

  • Axiom (law firm) — Axiom is a “new model firm [ [http://www.law.com/jsp/nlj/PubArticleNLJ.jsp?id=1179479101479 The Rise of the New Model Firm , The National Law Journal ] 21 May, 2007] with 200 attorneys in offices in New York, San Francisco and London according to …   Wikipedia

  • Axiom — Ax i*om, n. [L. axioma, Gr. ? that which is thought worthy, that which is assumed, a basis of demonstration, a principle, fr. ? to think worthy, fr. ? worthy, weighing as much as; cf. ? to lead, drive, also to weigh so much: cf F. axiome. See… …   The Collaborative International Dictionary of English

  • Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… …   Wikipedia

  • Axiom schema of replacement — In set theory, the axiom schema of replacement is a schema of axioms in Zermelo Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite… …   Wikipedia

  • Axiom of determinacy — The axiom of determinacy (abbreviated as AD) is a possible axiom for set theory introduced by Jan Mycielski and Hugo Steinhaus in 1962. It refers to certain two person games of length ω with perfect information. AD states that every such game in… …   Wikipedia

  • axiom of choice — Math. the axiom of set theory that given any collection of disjoint sets, a set can be so constructed that it contains one element from each of the given sets. Also called Zermelo s axiom; esp. Brit., multiplicative axiom. * * * ▪ set theory… …   Universalium

  • Axiom computer algebra system — Infobox Software name = Axiom developer = Independent group of people operating system = Cross Platform genre = Computer Algebra System license = modified BSD License website = [http://axiom.axiom developer.org Axiom Home Page] Axiom is a free… …   Wikipedia

  • Axiom (computer algebra system) — Scratchpad redirects here. For scratchpad memory, see Scratchpad RAM. Axiom Developer(s) independent group of people Stable release September 2011 Operating system cross platform …   Wikipedia

  • Separation axiom — In topology and related fields of mathematics, there are several restrictions that one often makes on the kinds of topological spaces that one wishes to consider. Some of these restrictions are given by the separation axioms. These are sometimes… …   Wikipedia

  • Martin's axiom — In the mathematical field of set theory, Martin s axiom, introduced by Donald A. Martin and Robert M. Solovay (1970), is a statement which is independent of the usual axioms of ZFC set theory. It is implied by the continuum hypothesis, so… …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.